SPL 7 and SPL 8 represent a novel flowering regulation mechanism in switchgrass

buttonhead and D-Spl: a novel Drosophila gene pair

The Drosophila gene buttonhead (btd) is a gap-like head segmentation gene which encodes a triple zinc finger protein structurally and functionally related to the human transcription factor Spl. Here we report the pattern of btd expression during embryogenesis. btd is not only expressed and required in the blastoderm anlagen of the antennal, intercalary and mandibular segments as reported previo...

SPL: Unit Testing Performance

Unit testing is an attractive quality management tool in the software development process, however, practical obstacles make it difficult to use unit tests for performance testing. We present Stochastic Performance Logic, a formalism for expressing performance requirements, together with interpretations that facilitate performance evaluation in the unit test context. The formalism and the inter...

Handling Variability and Traceability over SPL Disciplines

Compositional Verification of Evolving SPL

This paper presents a novel approach to the design verification of Software Product Lines(SPL). The proposed approach assumes that the requirements and designs are modeled as finite state machines with variability information. The variability information at the requirement and design levels are expressed differently and at different levels of abstraction. Also the proposed approach supports ver...

Regulation of E(spl) Gene Expression During Development